[[Naïve set theory MOC]]
# Cartesian product

The **cartesian product** $A \times B$ is the set of all [[Ordered pair|ordered pairs]] $(a,b)$ where $a \in A$ and $B \in B$. #m/def/set
This is the [[Products and coproducts|categorical product]] in [[Category of sets]] — by analogy, the categorical product is soemtimes also given this name.

### Cartesian product of classes

In a [[material set theory]] with [[Class|classes]] like [[NBG]], one defines the cartesian product of classes similarly.

## See also

- [[Cartesian category]]


---
#state/develop | #SemBr | #lang/en